A Reflection on Types
نویسندگان
چکیده
The ability to perform type tests at runtime blurs the line between statically-typed and dynamically-checked languages. Recent developments in Haskell’s type system allow even programs that use reflection to themselves be statically typed, using a type-indexed runtime representation of types called TypeRep. As a result we can build dynamic types as an ordinary, statically-typed library, on top of TypeRep in an open-world context.
منابع مشابه
The Use of Self-Repair Strategies in Classroom Conversations: Does the Teacher’s Level of Reflection Make a Difference?
To better understand the pattern of language use and classroom interactions, this sequential mixed-methods study investigated the teachers’ use of self-repair strategies based on their level of reflection. To this end, 33 Iranian EFL teachers were selected from various institutions in Tehran. Data for the quantitative phase were collected from the reflectivity questionnaire developed by Akbari,...
متن کاملTransmission and Reflection Characteristics of a Concrete Block Wall Illuminated by a TM-polarized Obliquely incident wave
Typically, many of the modern buildings have concrete walls constructed from cinder block walls, that have periodic nature in their relative dielectric constant. This periodic nature excites higher-order Floquet harmonic modes at microwave frequencies, which leads to the propagation of scattered waves along with non-specular directions. Periodic structures exhibit different behaviors when illum...
متن کاملCritical Thinking in Personal Narrative and Reflective Journal Writings by In-service EFL Teachers in Iran: Assessment of Reflective Writing
Recently, there is a need for fostering the critical reflective side of L2 teacher education. This study investigated the implications of personal narrative (PN) and reflective journal (RJ) writing for Iranian EFL teachers’ reflective writing. Sixty (36 women and 24 men) in-service secondary school EFL teachers were selected based on the convenience sampling from Iran. L2 teachers equally divid...
متن کاملWave Reflection and Refraction at the Interface of Triclinic and Liquid Medium
A Mathematical model has been considered to study the reflection and refraction phenomenon of plane wave at the interface of an isotropic liquid medium and a triclinic (anisotropic) half-space. The incident plane qP wave generates three types of reflected waves namely quasi-P (qP), quasi-SV (qSV) and quasi-SH (qSH) waves in the tric...
متن کاملNumerical Investigation of Birefringene Effect on the Light Reflection
In the present paper, the problem of light reflection from a birefringent medium and thin film is considered. First, the analytical equations governing the propagation of a plane and harmonic electromagnetic wave in an infinite, birefringent, linear, non-dispersive, non-absorbing, and non-magnetic medium is derived from Maxwell equations. Then, using phase matching condition and boundary condit...
متن کاملPsychological Features of the Formation of Corporeality in Young Women
The aim of the study is to reveal the essence and structure of the programme for the development of female corporeality, identify psychological features of work in the context of individual consultations, describe the content of group classes, and analyse empirical data obtained as a result of the programme implementation. Methods: Young women under the age of 40, without clinical psychiatric ...
متن کامل